Concolic testing - PDFSEARCH.IO - Document Search Engine

Concolic testing
Results: 54

#	Item
41	Partial Replay of Long-Running Applications Alvin Cheung, Armando Solar-Lezama, and Samuel Madden MIT CSAIL {akcheung, asolar, madden}@csail.mit.edu Add to Reading List Source URL: db.csail.mit.edu Language: English - Date: 2011-08-15 13:47:43 Constraint programming Software bugs Formal methods Logic in computer science Memory management Concolic testing Symbolic execution Debugger Satisfiability Modulo Theories Software engineering Theoretical computer science Computing
42	Loop-Extended Symbolic Execution on Binary Programs Prateek Saxena Pongsin Poosankam† Stephen McCamant Dawn Song University of California, Berkeley and † Carnegie Mellon University Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Computer programming Symbolic execution Concolic testing Buffer overflow Algorithm Infinite loop Function Stack Dependence analysis Software bugs Software engineering Computing
43	HAMPI: A Solver for String Constraints Adam Kie˙zun Vijay Ganesh [removed] Add to Reading List Source URL: www.pgbovine.net Language: English - Date: 2014-01-03 23:24:44 Computer programming Compiler construction Programming paradigms Data management SQL SQL injection Context-free grammar Parsing Concolic testing Computing Formal languages Software engineering
44	KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs Cristian Cadar, Daniel Dunbar, Dawson Engler ∗ Stanford University Abstract Add to Reading List Source URL: llvm.org Language: English - Date: 2010-02-25 20:19:41 Computer programming Klee Constraint programming Programming language implementation Symbolic execution Code coverage Assembly language Concolic testing Software engineering Software testing Bauhaus
45	Moving the Goalposts: Coverage Satisfaction Is Not Enough∗ Gregory Gay∗, Matt Staats‡, Michael W. Whalen∗, and Mats P.E. Heimdahl∗ ∗Department of Computer Science & Engineering University of Minnesota, USA Add to Reading List Source URL: www.greggay.com Language: English - Date: 2014-04-08 11:02:52 Software quality Code coverage Test data Unit testing Concolic testing Fault coverage Test automation Reliability engineering Model-based testing Software testing Software development Design
46	About me Software testing Bugs hunting Concolic execution IR and constraints solver Proof of concept Add to Reading List Source URL: shell-storm.org Language: English - Date: 2014-06-19 06:56:36 Fuzz testing Software testing Software bug Concolic testing
47	About me Software testing Bugs hunting Concolic execution IR and constraints solver Proof of concept Add to Reading List Source URL: www.shell-storm.org Language: English - Date: 2014-05-25 11:17:11 Fuzz testing Software testing Software bug Concolic testing
48	ABSTRACT Title of dissertation: IMPROVING PROGRAM TESTING AND UNDERSTANDING Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2011-12-16 11:38:46 Concolic testing Algorithm Ln Mathematics Software testing Abstract interpretation Symbolic execution Computing
49	CUTE: A Concolic Unit Testing Engine for C Koushik Sen, Darko Marinov, Gul Agha Department of Computer Science Add to Reading List Source URL: srl.cs.berkeley.edu Language: English - Date: 2009-02-05 16:14:24 Automated theorem proving Concolic testing Test Data Generation Theoretical computer science Symbolic execution Pointer Algorithm Function Linear programming Mathematics Computing Software engineering
50	Feedback-directed Random Test Generation Carlos Pacheco1 , Shuvendu K. Lahiri2 , Michael D. Ernst1 , and Thomas Ball2 1 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2007-07-14 08:38:52 Quality control Test Data Generation Java Pathfinder Code coverage Concolic testing Unit testing Algorithm Test data Hash function Software testing Software development Software quality